129 research outputs found

    Setting-up early computer programs: D. H. Lehmer's ENIAC computation

    Get PDF
    A complete reconstruction of Lehmer's ENIAC set-up for computing the exponents of p modulo two is given. This program served as an early test program for the ENIAC (1946). The reconstruction illustrates the difficulties of early programmers to find a way between a man operated and a machine operated computation. These difficulties concern both the content level (the algorithm) and the formal level (the logic of sequencing operations)

    Formal Semantics of the CHART Transformation Language

    Get PDF

    Modelling and Analysis Using GROOVE

    Get PDF
    In this paper we present case studies that describe how the graph transformation tool GROOVE has been used to model problems from a wide variety of domains. These case studies highlight the wide applicability of GROOVE in particular, and of graph transformation in general. They also give concrete templates for using GROOVE in practice. Furthermore, we use the case studies to analyse the main strong and weak points of GROOVE

    Haskell before Haskell: Curry's contribution to programming (1946-1950)

    Get PDF
    This paper discusses Curry's work on how to implement the problem of inverse interpolation on the ENIAC (1946) and his subsequent work on developing a theory of program composition (1948-1950). It is shown that Curry anticipated automatic programming and that his logical work influenced his composition of programs

    Alkaloids from marine fungi : promising antimicrobials

    Get PDF
    Resistance of pathogenic microorganisms against antimicrobials is a major threat to contemporary human society. It necessitates a perpetual influx of novel antimicrobial compounds. More specifically, Gram(-)pathogens emerged as the most exigent danger. In our continuing quest to search for novel antimicrobial molecules, alkaloids from marine fungi show great promise. However, current reports of such newly discovered alkaloids are often limited to cytotoxicity studies and, moreover, neglect to discuss the enigma of their biosynthesis. Yet, the latter is often a prerequisite to make them available through sufficiently efficient processes. This review aims to summarize novel alkaloids with promising antimicrobial properties discovered in the past five years and produced by marine fungi. Several discovery strategies are summarized, and knowledge gaps in biochemical production routes are identified. Finally, links between the structure of the newly discovered molecules and their activity are proposed. Since 2015, a total of 35 new antimicrobial alkaloids from marine fungi were identified, of which 22 showed an antibacterial activity against Gram(-)microorganisms. Eight of them can be classified as narrow-spectrum Gram(-)antibiotics. Despite this promising ratio of novel alkaloids active against Gram(-)microorganisms, the number of newly discovered antimicrobial alkaloids is low, due to the narrow spectrum of discovery protocols that are used and the fact that antimicrobial properties of newly discovered alkaloids are barely characterized. Alternatives are proposed in this review. In conclusion, this review summarizes novel findings on antimicrobial alkaloids from marine fungi, shows their potential as promising therapeutic candidates, and hints on how to further improve this potential

    Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case

    Get PDF
    This report presents a solution to the Hello World case study of TTC 2011 using GROOVE. We provide and explain the grammar that we used to solve the case study. Every requested question of the case study was solved by a single rule application.Comment: In Proceedings TTC 2011, arXiv:1111.440
    • ā€¦
    corecore